 |
Your search returned 8 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1993 Volume number : 19 Issue: 09 |
Passive-Space And Time View Vector Clocks For Achieving Higher Performance, Program Correction, And Distributed Computing
(Article)
Subject:
Experimental Data
,
Measuring System
,
And Concurrency
Author:
Mohan
Ahuja
Ashwani
Gahlot
page:
845
-
855
Predicate Logic For Software Engineering
(Article)
Subject:
Formal Method
,
Predicate Detection
,
Partial Fraction
Author:
David Lorge
Parnas
page:
856
-
862
Analysis Of Real-Time Rule-Based Systems With Boehavioral Constraint Assertions Specified In Estella
(Article)
Subject:
Estella
,
Specification
,
Verification
Author:
Albert Mo
Cheng
James C.
Browne
Aloysius K.
Mok
page:
863
-
885
Analysis Of Real-Time Rule-Based Systems With Behavioral Constraint Assertions Specitied In Estella
(Article)
Subject:
Estella
,
Real-Time -
,
Verification
Author:
Albert Mo
Kim Cheng
James C.
Browne
Aloysius K.
Mok
page:
863
-
885
Statistical Foundations Of Audit Trail Analysis For The Detection Of Computer Misuse
(Article)
Subject:
Anomaly Detection
,
Computer Security
,
Intrusion Detection
Author:
Paul
Helman
Gunar
Liepins
page:
886
-
901
Modeling And Analysis Of Concuttent Maintenance Policies For Data Structures Using Pointers
(Article)
Subject:
Client-Server Computational Models
,
Data Structures Concurrent Maintenance Policies
,
Stated Models
Author:
Ling
Chen
Sayed A.
Banawan
page:
902
-
911
More Experience With Data Flow Testing
(Article)
Subject:
Data Flow Chains
,
Software Testing
,
Software Test Data Adequacy
Author:
Elaine J.
Weyuker
page:
912
-
919
Engineering And Analysis Of Fixed Prioity Schedulers
(Article)
Subject:
Feasibility
,
Operating Systems
,
Periodic
,
Scheduling
Author:
Daniel I.
Katcher
Hiroshi
Arakawa
Jay K.
Strosnider
page:
920
-
934
|
|
| | |
